Issue4881b.agda:2,1-2
Duplicate declaration of _
